First show that H is finite (this is often just an observation). Then show
that the identity is in H. Finally assume that <i>a</i> and<i> b</i> 
satisfy the
condition that defines the elements of H and use this assumption to show
<i>ab</i> satisfies that condition that defines H.